home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / lang / c++-part1 / 2181 < prev    next >
Encoding:
Text File  |  1996-08-06  |  3.2 KB  |  112 lines
  1. Path: news.th-darmstadt.de!news
  2. From: Enno Sandner <enno@intellektik.informatik.th-darmstadt.de>
  3. Newsgroups: comp.lang.c++
  4. Subject: Re: Smart Pointer Implementation & question
  5. Date: Tue, 16 Jan 1996 10:16:59 +0100
  6. Organization: Fachbereich Informatik, TH Darmstadt
  7. Message-ID: <30FB6D0B.167EB0E7@intellektik.informatik.th-darmstadt.de>
  8. References: <4dfe36$d99@grid.direct.ca>
  9. NNTP-Posting-Host: kitz.intellektik.informatik.th-darmstadt.de
  10. Mime-Version: 1.0
  11. Content-Type: text/plain; charset=us-ascii
  12. Content-Transfer-Encoding: 7bit
  13. X-Mailer: Mozilla 2.0b5 (X11; I; SunOS 4.1.3 sun4m)
  14.  
  15. Ken Clark wrote:
  16. > 
  17. > Hi.  I have implemented a reference counting smart pointer class.  It works
  18. > well, except that I can't get a basic behavior of normal pointers: automatic
  19. > casting of subclass pointers.  Consider class shape and subclass circle.  I
  20. > can do
  21. >         shape *s;
  22. >         circle *c;
  23. >         ...
  24. >         s = c;
  25. > 
  26. > What I want to be able to do (with the same semantics)
  27. >         RCPtr<shape> s;
  28. >         RCPtr<circle> c;
  29. >         ...
  30. >         s = c;
  31. > 
  32. > I think I understand why I can't do this (Stoustrup's square peg in round hole
  33. > analogy).  My question is, how do I get this behavior if that is what I want?
  34. > 
  35. > 
  36. > I have included the class below.  Any other suggestions on how to improve it
  37. > are appreciated.  Feel free to use the class in your code if you like.
  38. > 
  39. > Thanks,
  40. > 
  41. > - Ken
  42. > 
  43. > template <class T>
  44. > class RCPtr {
  45. >         struct RCPtrRep {
  46. >                 T *p;
  47. >                 unsigned count;
  48. >                 RCPtrRep(T* ip = 0)     { p = ip; count = 1; }
  49. >                 ~RCPtrRep()             { delete p; }
  50. >         } *rep;
  51. > public:
  52. >         RCPtr(T *ip = 0)                { rep = new RCPtrRep(ip); }
  53. >         RCPtr& operator=(T *ip)
  54. >         {
  55. >                 RCPtr::~RCPtr();
  56. >                 rep = new RCPtrRep(ip);
  57. >                 return *this;
  58. >         }
  59. >         RCPtr& operator=(const RCPtr& rip)
  60. >         {
  61. >                 rip.rep->count++;
  62. >                 RCPtr::~RCPtr();
  63. >                 rep = rip.rep;
  64. >                 return *this;
  65. >         }
  66. >         ~RCPtr()
  67. >         {
  68. >                 if (--rep->count == 0) delete rep;
  69. >         }
  70. >         T *operator->()                 { return (T *)rep->p; }
  71. >         T& operator*()                  { return *(T *)rep->p; }
  72. > };
  73.  
  74. I think in theory (ie. according to the DWP) you can have a templated
  75. conversion operator in the class:
  76.  
  77.       template<class T> class RCPtr { 
  78.             ...
  79.  
  80.           template<class S> operator RCPtr<S>() const {
  81.             S* s=dynamic_cast<S*>(rep->p);
  82.             return RCPtr<S>(s ? new S(*s) : 0);
  83.           }
  84.       };
  85.  
  86. Anyway this will not work on any compiler these days.
  87. A workarround is an auxilary templated function, that does the job.
  88. Both solutions exspect that the RCPtr class can properly handle
  89. null-pointers.
  90. In addition your class can lead to unwanted modifications. For example:
  91.  
  92. struct A { 
  93.   A() : valid_(true) {} 
  94.   bool valid_;
  95. };
  96.  
  97. int main()
  98. {
  99.   RCPtr<A> pa1(new A());
  100.   RCPtr<A> pa2=pa1;
  101.   pa1->valid_=false;
  102.  
  103. // pa1->valid_==false && pa2->valid_==false
  104. }
  105.  
  106. will modify _both_ instances.
  107. Can can remove this problem if you clone the maintained instance every
  108. time
  109. the wrapper returns a non-const pointer or reference to it.
  110.  
  111.            Enno
  112.